Some Results about Confluence on a Given Congruence Class
نویسنده
چکیده
منابع مشابه
Partial monoids: associativity and confluence
A partial monoid P is a set with a partial multiplication × (and total identity 1P ) which satisfies some associativity axiom. The partial monoid P may be embedded in the free monoid P ∗ and the product × is simulated by a string rewriting system on P ∗ that consists in evaluating the concatenation of two letters as a product in P , when it is defined, and a letter 1P as the empty word ǫ. In th...
متن کاملUp-To Techniques for Weighted Systems (Extended Version)
We show how up-to techniques for (bi-)similarity can be used in the setting of weighted systems. The problems we consider are language equivalence, language inclusion and the threshold problem (also known as universality problem) for weighted automata. We build a bisimulation relation on the fly and work up-to congruence and up-to similarity. This requires to determine whether a pair of vectors...
متن کاملLine congruence and transformation of projective surfaces
The aim of this article is to present and reformulate systematically what is known about surfaces in the projective 3-space, in view of transformations of surfaces, and to complement with some new results. Special emphasis will be laid on line congruences and Laplace transformations. A line congruence can be regarded as a transformation connecting one focal surface with the other focal surface....
متن کاملDeciding Confluence of Certain Term Rewriting Systems in Polynomial Time
We present a polynomial time algorithm for deciding confluence of ground term rewrite systems. We generalize the decision procedure to get a polynomial time algorithm, assuming that the maximum arity of a symbol in the signature is a constant, for deciding confluence of rewrite systems where each rule contains a shallow linear term on one side and a ground term on the other. The existence of a ...
متن کاملAN INVESTIGATION ON THE CO-ANNIHILATORS IN TRIANGLE ALGEBRAS
In this paper, we introduce the notion of co-annihilator of a subsetin a triangle algebra. It is shown that the co-annihilator of asubset is an interval valued residuated lattice (IVRL)-filter. Also, aspecial set of a triangle algebra is defined and the relationshipbetween this set and co-annihilator of a subset in triangle algebrais considered. Finally, co-annihilators preserving congruencerel...
متن کامل